<html>
<head><meta charset="utf-8"><title>planning meeting 2019.11.05 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html">planning meeting 2019.11.05</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="179946923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179946923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179946923">(Nov 05 2019 at 16:09)</a>:</h4>
<p>hey all :)</p>
<p>IIUC the meeting will be in a couple hours (it's my understanding that DST is now in place in the US as well, so back at the regular time) which is 9PM for us Europeans.</p>
<p>since we were hoping to do some planning (especially around the focus week at the end of the month) tonight I've updated the "state of polonius" list here <a href="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A?view" target="_blank" title="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A?view">https://hackmd.io/wGwGGRCKStiWBq9voP4e2A?view</a>, so that we can see what's in-flight etc. </p>
<p>(I'm still kind of away, preparing for rustfest but I'll definitely be at the meeting)</p>



<a name="179958090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179958090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179958090">(Nov 05 2019 at 17:58)</a>:</h4>
<p>(where "9PM" meant "9PM CET", and "a couple hours" meant "4 hours" — should be actually a couple hours from <em>now</em> — ♪ <em>whistles</em> ♫)</p>



<a name="179970874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179970874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179970874">(Nov 05 2019 at 20:02)</a>:</h4>
<p>Should be now, right?</p>



<a name="179970962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179970962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179970962">(Nov 05 2019 at 20:02)</a>:</h4>
<p>I <em>think</em></p>



<a name="179970972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179970972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179970972">(Nov 05 2019 at 20:02)</a>:</h4>
<p>The Google Calendar seems to say the same</p>



<a name="179971026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971026">(Nov 05 2019 at 20:03)</a>:</h4>
<p>heh I was checking the same thing</p>



<a name="179971138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971138">(Nov 05 2019 at 20:04)</a>:</h4>
<p>Hey all</p>



<a name="179971156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971156">(Nov 05 2019 at 20:04)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="179971176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971176">(Nov 05 2019 at 20:04)</a>:</h4>
<p>How're things</p>



<a name="179971198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971198">(Nov 05 2019 at 20:05)</a>:</h4>
<p>fine and you ?</p>



<a name="179971235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971235">(Nov 05 2019 at 20:05)</a>:</h4>
<p>there might have been some slight confusion about DST but seems to be fixed worldwide :)</p>



<a name="179971261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971261">(Nov 05 2019 at 20:06)</a>:</h4>
<p>heh yes :)</p>



<a name="179971335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971335">(Nov 05 2019 at 20:06)</a>:</h4>
<p>I don't know if you two saw what I wrote earlier, but I (only) managed to update the list of in-flight things (or future things)</p>



<a name="179971383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971383">(Nov 05 2019 at 20:07)</a>:</h4>
<p>so that we could have an idea and possibly pre-plan our goals for the work at the end of the month</p>



<a name="179971409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971409">(Nov 05 2019 at 20:07)</a>:</h4>
<p>(hopefully I didn't miss anything)</p>



<a name="179971450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971450">(Nov 05 2019 at 20:07)</a>:</h4>
<p>I did not see</p>



<a name="179971473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971473">(Nov 05 2019 at 20:08)</a>:</h4>
<p>I accidentally hit "mark all as read" and <em>all</em> of zulip a few hours back</p>



<a name="179971509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971509">(Nov 05 2019 at 20:08)</a>:</h4>
<p>It was ... very freeing</p>



<a name="179971523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971523">(Nov 05 2019 at 20:08)</a>:</h4>
<p>But I am probably missing some messages</p>



<a name="179971540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971540">(Nov 05 2019 at 20:08)</a>:</h4>
<p>Anyway, I'm opening the hackmd now</p>



<a name="179971567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971567">(Nov 05 2019 at 20:08)</a>:</h4>
<p>an easy way to achieve inbox zero :)</p>



<a name="179971583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971583">(Nov 05 2019 at 20:09)</a>:</h4>
<p>s/an easy way/the only way/</p>



<a name="179971623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971623">(Nov 05 2019 at 20:09)</a>:</h4>
<p>ok so</p>



<a name="179971628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971628">(Nov 05 2019 at 20:09)</a>:</h4>
<p>skimming the document</p>



<a name="179971636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971636">(Nov 05 2019 at 20:09)</a>:</h4>
<p>I also saw <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> raised some points about move errors</p>



<a name="179971676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971676">(Nov 05 2019 at 20:10)</a>:</h4>
<p>yeah, and a PR</p>



<a name="179971702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971702">(Nov 05 2019 at 20:10)</a>:</h4>
<p>Yes, one, but Matthew Jasper responded</p>



<a name="179971734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971734">(Nov 05 2019 at 20:10)</a>:</h4>
<p>And I think I...will do what they said. It's not what I am currently doing though, so there might be an off-by-one on initialisation tracking</p>



<a name="179971750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971750">(Nov 05 2019 at 20:10)</a>:</h4>
<p>I realised this when I was rewriting that section for my thesis</p>



<a name="179971759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971759">(Nov 05 2019 at 20:10)</a>:</h4>
<p>(this is totally what I should be doing for my PhD)</p>



<a name="179971762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971762">(Nov 05 2019 at 20:11)</a>:</h4>
<p>(the start/mid separation doesn't exist in rustc so maybe the difference would not matter in practice but yeah Start points seem best indeed)</p>



<a name="179971800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971800">(Nov 05 2019 at 20:11)</a>:</h4>
<p>I think it does, because I think every move becomes a move error otherwise</p>



<a name="179971814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971814">(Nov 05 2019 at 20:11)</a>:</h4>
<p>haha</p>



<a name="179971858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971858">(Nov 05 2019 at 20:11)</a>:</h4>
<p>that <em>is</em> a practical difference</p>



<a name="179971943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971943">(Nov 05 2019 at 20:12)</a>:</h4>
<p>OK, so there are probably two? main axes of expansion -- well, maybe 3</p>



<a name="179971960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971960">(Nov 05 2019 at 20:12)</a>:</h4>
<ul>
<li>move errors and initialization tracking</li>
<li>region checking</li>
</ul>



<a name="179971967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971967">(Nov 05 2019 at 20:12)</a>:</h4>
<p>I guess we should focus on completeness and correctness first</p>



<a name="179971984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179971984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179971984">(Nov 05 2019 at 20:13)</a>:</h4>
<p>and then there is the</p>
<ul>
<li>expanding the core borrow check with equality relations etc</li>
</ul>



<a name="179972007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972007">(Nov 05 2019 at 20:13)</a>:</h4>
<p>right, Im talking about the "completeness and correctness" side of things</p>



<a name="179972011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972011">(Nov 05 2019 at 20:13)</a>:</h4>
<p>so my take on higher-ranked subtyping is</p>



<a name="179972017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972017">(Nov 05 2019 at 20:13)</a>:</h4>
<p>this is not polonius's problem</p>



<a name="179972029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972029">(Nov 05 2019 at 20:13)</a>:</h4>
<p>I've been meaning <em>forever</em> to try and write about the experimentation that I did</p>



<a name="179972040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972040">(Nov 05 2019 at 20:13)</a>:</h4>
<p>solely chalk's problem ?</p>



<a name="179972056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972056">(Nov 05 2019 at 20:14)</a>:</h4>
<p>but the tl;dr is that I think chalk should handle all the higher-ranked reasoning and just emit a set of "top-level region constraints" for polonius to solve</p>



<a name="179972164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972164">(Nov 05 2019 at 20:14)</a>:</h4>
<p>does that mean that we need to get chalk in rustc for polonius to be useful ?</p>



<a name="179972170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972170">(Nov 05 2019 at 20:14)</a>:</h4>
<p>I guess a question, which I've not through very hard about it, is .. yes, that.</p>



<a name="179972202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972202">(Nov 05 2019 at 20:15)</a>:</h4>
<p>I'm actually sort of unsure what happens with "higher-ranked outlines" now</p>



<a name="179972229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972229">(Nov 05 2019 at 20:15)</a>:</h4>
<p>Regardless, I think a good goal <em>before</em> the coming week would be for me to review your PR and/or document my thoughts there</p>



<a name="179972323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972323">(Nov 05 2019 at 20:16)</a>:</h4>
<p>review Albin's move errors PR that is ?</p>



<a name="179972326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972326">(Nov 05 2019 at 20:16)</a>:</h4>
<p>I'm still planning on trying to do this "Nov focus week"  thing, although I do need to figure out what will have to get canceled to make way for that</p>



<a name="179972384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972384">(Nov 05 2019 at 20:17)</a>:</h4>
<blockquote>
<p>review Albin's move errors PR that is ?</p>
</blockquote>
<p>actually I meant the "placeholder loans" stuff</p>



<a name="179972388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972388">(Nov 05 2019 at 20:17)</a>:</h4>
<p>well, ok, there are 4 open PRs</p>



<a name="179972417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972417">(Nov 05 2019 at 20:17)</a>:</h4>
<ul>
<li>[WIP] book: add a chapter describing the input relations <a href="https://github.com/rust-lang-nursery/polonius/issues/126" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/126">polonius#126</a></li>
</ul>



<a name="179972424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972424">(Nov 05 2019 at 20:17)</a>:</h4>
<ul>
<li>Fix clap by updating the facts <a href="https://github.com/rust-lang-nursery/polonius/issues/133" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/133">polonius#133</a></li>
</ul>



<a name="179972432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972432">(Nov 05 2019 at 20:17)</a>:</h4>
<ul>
<li>Proposal: split <code>AllFacts</code> into contexts dedicated to each component of the pipeline <a href="https://github.com/rust-lang-nursery/polonius/issues/134" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/134">polonius#134</a></li>
</ul>



<a name="179972482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972482">(Nov 05 2019 at 20:18)</a>:</h4>
<p>ah, that's not yet a PR as it depends on a couple open questions and another PR, but yeah at least making sure this is going in the right direction</p>



<a name="179972487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972487">(Nov 05 2019 at 20:18)</a>:</h4>
<ul>
<li>[WIP] Move error reporting and initialisation clean-up <a href="https://github.com/rust-lang-nursery/polonius/issues/135" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/135">polonius#135</a></li>
</ul>



<a name="179972512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972512">(Nov 05 2019 at 20:18)</a>:</h4>
<blockquote>
<ul>
<li>Fix clap by updating the facts <a href="https://github.com/rust-lang-nursery/polonius/issues/133" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/133">polonius#133</a></li>
</ul>
</blockquote>
<p>should we .. just merge this?</p>



<a name="179972514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972514">(Nov 05 2019 at 20:18)</a>:</h4>
<p>I think my PR should wait until we have a way to err...report move errors</p>



<a name="179972533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972533">(Nov 05 2019 at 20:18)</a>:</h4>
<p>Otherwise I can't test it</p>



<a name="179972556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972556">(Nov 05 2019 at 20:19)</a>:</h4>
<blockquote>
<ul>
<li>Proposal: split <code>AllFacts</code> into contexts dedicated to each component of the pipeline <a href="https://github.com/rust-lang-nursery/polonius/issues/134" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/134">polonius#134</a></li>
</ul>
</blockquote>
<p>what about this?</p>



<a name="179972575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972575">(Nov 05 2019 at 20:19)</a>:</h4>
<p>Of course, I will happily take feedback etc before that</p>



<a name="179972582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972582">(Nov 05 2019 at 20:19)</a>:</h4>
<p>do you need this one for your work Albin ?</p>



<a name="179972592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972592">(Nov 05 2019 at 20:19)</a>:</h4>
<p>(134)</p>



<a name="179972616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972616">(Nov 05 2019 at 20:19)</a>:</h4>
<p>It would be the easiest way to sneak out move errors, yes</p>



<a name="179972669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972669">(Nov 05 2019 at 20:20)</a>:</h4>
<p>it seems like a step in the right direction to me</p>



<a name="179972671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972671">(Nov 05 2019 at 20:20)</a>:</h4>
<p>it seems like a good first step</p>



<a name="179972675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972675">(Nov 05 2019 at 20:20)</a>:</h4>
<p>I think the only thing we were wondering before was</p>



<a name="179972678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972678">(Nov 05 2019 at 20:20)</a>:</h4>
<p>should we give ownership of the facts</p>



<a name="179972679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972679">(Nov 05 2019 at 20:20)</a>:</h4>
<p>But I guess we could also decide on some other interface for reporting other errors, and that would work just as well</p>



<a name="179972685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972685">(Nov 05 2019 at 20:20)</a>:</h4>
<p>whereas now we pass it by reference?</p>



<a name="179972700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972700">(Nov 05 2019 at 20:20)</a>:</h4>
<p>but we could handle that ina  follow-up PR</p>



<a name="179972704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972704">(Nov 05 2019 at 20:20)</a>:</h4>
<p>I'm inclined to merge stuff</p>



<a name="179972718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972718">(Nov 05 2019 at 20:20)</a>:</h4>
<p>yeah I was thinking followup as well</p>



<a name="179972754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972754">(Nov 05 2019 at 20:21)</a>:</h4>
<p>as it'd require releasing a version, updating rustc (with <code>T::Facts</code>as well)</p>



<a name="179972796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972796">(Nov 05 2019 at 20:21)</a>:</h4>
<p>merge?</p>



<a name="179972817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972817">(Nov 05 2019 at 20:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span>, if you are here, does your work rely on having access to Polonius' facts after Polonius has executed, from Rust? Would giving ownership of Polonius' facts affect you?</p>



<a name="179972821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972821">(Nov 05 2019 at 20:21)</a>:</h4>
<p>maybe the way the variants return their output could be better, esp when adding the illegal subset relation errors next/soon</p>



<a name="179972852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972852">(Nov 05 2019 at 20:22)</a>:</h4>
<p>merged</p>



<a name="179972880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972880">(Nov 05 2019 at 20:22)</a>:</h4>
<p>woohoo, we're on a roll</p>



<a name="179972890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972890">(Nov 05 2019 at 20:22)</a>:</h4>
<p>:)</p>



<a name="179972931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972931">(Nov 05 2019 at 20:22)</a>:</h4>
<p>do you need a WIP placeholder loans PR or looking at the branch would be enough ?</p>



<a name="179972950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972950">(Nov 05 2019 at 20:22)</a>:</h4>
<p>WIP PR's are helpful</p>



<a name="179972953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972953">(Nov 05 2019 at 20:22)</a>:</h4>
<p>easier to find :)</p>



<a name="179972981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179972981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179972981">(Nov 05 2019 at 20:23)</a>:</h4>
<p>ok I'll try to do one before leaving for rustfest (or there :)</p>



<a name="179973099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973099">(Nov 05 2019 at 20:24)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> you mean prusti itself ?</p>



<a name="179973137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973137">(Nov 05 2019 at 20:25)</a>:</h4>
<p>(I do wonder how do they "make use of polonius" though yeah, I can ask them at rustfest)</p>



<a name="179973174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973174">(Nov 05 2019 at 20:25)</a>:</h4>
<p>I was just talking some to them today</p>



<a name="179973178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973178">(Nov 05 2019 at 20:25)</a>:</h4>
<p>We talked briefly about this at SPLASH</p>



<a name="179973182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973182">(Nov 05 2019 at 20:26)</a>:</h4>
<p>Ah, good</p>



<a name="179973201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973201">(Nov 05 2019 at 20:26)</a>:</h4>
<p>I think they may be scraping things off the disk, but not sure</p>



<a name="179973230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973230">(Nov 05 2019 at 20:26)</a>:</h4>
<p>I got that impression as well</p>



<a name="179973249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973249">(Nov 05 2019 at 20:26)</a>:</h4>
<p>I'm wondering (the same question about any new polonius feature really) how best to test illegal subset relations errors</p>



<a name="179973250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973250">(Nov 05 2019 at 20:26)</a>:</h4>
<p>They also had some trouble translating some interned values to something useful</p>



<a name="179973259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973259">(Nov 05 2019 at 20:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> coming back to the analysis</p>



<a name="179973306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973306">(Nov 05 2019 at 20:27)</a>:</h4>
<p>I'd really like to remove datafrog-opt and (perhaps) the location insensitive variant. I'm not sure why I'm so obsessed with this. I guess it's just that, coming back to polonius, it feels a bit overwhelming to have many variants.</p>



<a name="179973320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973320">(Nov 05 2019 at 20:27)</a>:</h4>
<p>I'd also like to port over to your nifty compilation tool :)</p>



<a name="179973333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973333">(Nov 05 2019 at 20:27)</a>:</h4>
<p>though perhaps that is mildly lower priority</p>



<a name="179973343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973343">(Nov 05 2019 at 20:27)</a>:</h4>
<p>I still don't <em>quite</em> understand what's blocking those moves</p>



<a name="179973348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973348">(Nov 05 2019 at 20:28)</a>:</h4>
<blockquote>
<p>(I do wonder how do they "make use of polonius" though yeah, I can ask them at rustfest)</p>
</blockquote>
<p><span class="user-mention" data-user-id="116113">@lqd</span> It's this, but Polonius is literally just an argument to rustc in a footnote <a href="https://2019.splashcon.org/details/splash-2019-oopsla/31/Leveraging-Rust-Types-for-Modular-Specification-and-Verification" target="_blank" title="https://2019.splashcon.org/details/splash-2019-oopsla/31/Leveraging-Rust-Types-for-Modular-Specification-and-Verification">https://2019.splashcon.org/details/splash-2019-oopsla/31/Leveraging-Rust-Types-for-Modular-Specification-and-Verification</a></p>



<a name="179973351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973351">(Nov 05 2019 at 20:28)</a>:</h4>
<p>it seemed like you had found that some simple optimizations made datafrog-opt far less important?</p>



<a name="179973418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973418">(Nov 05 2019 at 20:28)</a>:</h4>
<p>I really need to make sure it works on more inputs than just clap though, first :)</p>



<a name="179973697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973697">(Nov 05 2019 at 20:29)</a>:</h4>
<p>Once my thesis is done, I really want to do something about the benchmarking situation</p>



<a name="179973721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973721">(Nov 05 2019 at 20:29)</a>:</h4>
<p>it did seem the LocationInsensitive/DatafrogOpt variants were useful for rustc tests</p>



<a name="179973801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973801">(Nov 05 2019 at 20:30)</a>:</h4>
<p>I'd like to check this again as well, but I was hoping we could fix the remaining issues we have and enable the compare more on CI</p>



<a name="179973829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973829">(Nov 05 2019 at 20:30)</a>:</h4>
<p>(but if we're talking about a chalk-timescale, maybe it's not super urgent now ofc)</p>



<a name="179973853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973853">(Nov 05 2019 at 20:30)</a>:</h4>
<p>speaking of the "focus week" -- I need to figure out what it will take to really make that ap ossibility for me -- but I think what is most realistic is that i'd like to schedule some big meetings where we can kind of get on zoom and hack together</p>



<a name="179973883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973883">(Nov 05 2019 at 20:31)</a>:</h4>
<p>e.g. I could imagine saying "let's spend 3-4 hours trying to get placeholder loans going" or something like that</p>



<a name="179973898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973898">(Nov 05 2019 at 20:31)</a>:</h4>
<p>not sure if that's the best structure but it seems plausible ;)</p>



<a name="179973904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973904">(Nov 05 2019 at 20:31)</a>:</h4>
<p>if so, we could try to schedule out some meetings</p>



<a name="179973907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973907">(Nov 05 2019 at 20:31)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span>  I reran the stats on your csvs btw, it's in the list, to at least have some of the bigger/slower functions/crates in there</p>



<a name="179973981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179973981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179973981">(Nov 05 2019 at 20:32)</a>:</h4>
<p>that could work nicely</p>



<a name="179974003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974003">(Nov 05 2019 at 20:32)</a>:</h4>
<p>and placeholder loans seem quick to do / integrate as well</p>



<a name="179974026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974026">(Nov 05 2019 at 20:32)</a>:</h4>
<p>(but indeed impact the LocationInsensitive/Hybrid variants you were mentioning)</p>



<a name="179974213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974213">(Nov 05 2019 at 20:34)</a>:</h4>
<blockquote>
<p>if so, we could try to schedule out some meetings</p>
</blockquote>
<p>I'm up for it!</p>



<a name="179974306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974306">(Nov 05 2019 at 20:35)</a>:</h4>
<p>You mean now or some other time?</p>



<a name="179974370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974370">(Nov 05 2019 at 20:36)</a>:</h4>
<p>the meetings ? for the "focus week" possibly around the end of november</p>



<a name="179974392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974392">(Nov 05 2019 at 20:36)</a>:</h4>
<p>or scheduling now you mean ?</p>



<a name="179974594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974594">(Nov 05 2019 at 20:36)</a>:</h4>
<p>Precisely</p>



<a name="179974622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974622">(Nov 05 2019 at 20:37)</a>:</h4>
<p>I would prefer to schedule them in advance, doesn't necessarily have to be <em>now</em></p>



<a name="179974638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974638">(Nov 05 2019 at 20:37)</a>:</h4>
<p>I'm skimming <a href="https://github.com/rust-lang/polonius/pull/126/" target="_blank" title="https://github.com/rust-lang/polonius/pull/126/">https://github.com/rust-lang/polonius/pull/126/</a></p>



<a name="179974651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974651">(Nov 05 2019 at 20:37)</a>:</h4>
<p>we could talk about what their topics would be, perhaps :)</p>



<a name="179974659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974659">(Nov 05 2019 at 20:37)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> regarding move errors --</p>



<a name="179974675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974675">(Nov 05 2019 at 20:37)</a>:</h4>
<p>so right now we're computing move-errors but we have no code in rustc to report them, is that it?</p>



<a name="179974723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974723">(Nov 05 2019 at 20:38)</a>:</h4>
<p>I believe so yes</p>



<a name="179974750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974750">(Nov 05 2019 at 20:38)</a>:</h4>
<p>but it seemed their location was still in flux</p>



<a name="179974768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974768">(Nov 05 2019 at 20:38)</a>:</h4>
<p>Where are we in the "grand renaming" =) I have to say that the new names felt <em>really good</em> during my rustbeltrust talk, for the most part.</p>



<a name="179974775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974775">(Nov 05 2019 at 20:38)</a>:</h4>
<p>The main exception being "node"</p>



<a name="179974790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974790">(Nov 05 2019 at 20:39)</a>:</h4>
<p>That...feels "ok" but also kind of jargon-y.</p>



<a name="179974818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974818">(Nov 05 2019 at 20:39)</a>:</h4>
<p>Maybe it's ok if Path and Point have the same first letter, if we avoid using individual letters anyway</p>



<a name="179974822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974822">(Nov 05 2019 at 20:39)</a>:</h4>
<p>in the Great Renaming of 2019, we are at: CFG items are still points ;)</p>



<a name="179974843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974843">(Nov 05 2019 at 20:39)</a>:</h4>
<p>mostly we need to do some more renaming for the relation names I think</p>



<a name="179974860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974860">(Nov 05 2019 at 20:39)</a>:</h4>
<p>yeah, the relation names are on my mind</p>



<a name="179974894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974894">(Nov 05 2019 at 20:40)</a>:</h4>
<p>the predicates still refer to the old nomenclature</p>



<a name="179974928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974928">(Nov 05 2019 at 20:40)</a>:</h4>
<p>I should probably try to make a canonical write-up of why we have start/mid nodes in the first place</p>



<a name="179974935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974935">(Nov 05 2019 at 20:40)</a>:</h4>
<p>and some which don't refer to it might not have the best names either</p>



<a name="179974950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974950">(Nov 05 2019 at 20:40)</a>:</h4>
<p>(<code>requires</code>)</p>



<a name="179974964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974964">(Nov 05 2019 at 20:40)</a>:</h4>
<p>yeah that's terrible :)</p>



<a name="179974968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974968">(Nov 05 2019 at 20:40)</a>:</h4>
<blockquote>
<p>so right now we're computing move-errors but we have no code in rustc to report them, is that it?</p>
</blockquote>
<p>Yes, that's it</p>



<a name="179974983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974983">(Nov 05 2019 at 20:40)</a>:</h4>
<p>it seems like such code shouldn't be <em>too</em> hard to add</p>



<a name="179974988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179974988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179974988">(Nov 05 2019 at 20:40)</a>:</h4>
<p>we also have no code in Polonius-the-binary to report them, but I could of course add that</p>



<a name="179975077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975077">(Nov 05 2019 at 20:41)</a>:</h4>
<p>is it a chicken and egg situation in that you need to update rustc to emit move errors to check if the move errors you compute are correct ?</p>



<a name="179975188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975188">(Nov 05 2019 at 20:42)</a>:</h4>
<p>Hmm, not really, it's more that I would need to have some sort of interface for Polonius to report more than one kind of error at all</p>



<a name="179975200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975200">(Nov 05 2019 at 20:42)</a>:</h4>
<p>But yes, I guess we could also have rustc emit the move errors as inputs and then compare those</p>



<a name="179975221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975221">(Nov 05 2019 at 20:43)</a>:</h4>
<p>I think adding a new one in the <code>Output</code> struct may be the way to go</p>



<a name="179975270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975270">(Nov 05 2019 at 20:43)</a>:</h4>
<p>I think so too</p>



<a name="179975329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975329">(Nov 05 2019 at 20:44)</a>:</h4>
<p>I need to go fairly soon</p>



<a name="179975358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975358">(Nov 05 2019 at 20:44)</a>:</h4>
<blockquote>
<p>Hmm, not really, it's more that I would need to have some sort of interface for Polonius to report more than one kind of error at all</p>
</blockquote>
<p>I feel like we should be able to land the PR in a mode where it repors errors through a field</p>



<a name="179975361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975361">(Nov 05 2019 at 20:44)</a>:</h4>
<p>then update rustc</p>



<a name="179975365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975365">(Nov 05 2019 at 20:44)</a>:</h4>
<p>and maybe come back and fix up the code</p>



<a name="179975371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975371">(Nov 05 2019 at 20:44)</a>:</h4>
<p>where we have only <code>errors</code> now we'll have <code>subset_errors</code> and <code>move_errors</code> as well</p>



<a name="179975386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975386">(Nov 05 2019 at 20:44)</a>:</h4>
<blockquote>
<p>I think adding a new one in the <code>Output</code> struct may be the way to go</p>
</blockquote>
<p>I was assuming this is what we would do, yes</p>



<a name="179975405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975405">(Nov 05 2019 at 20:44)</a>:</h4>
<p>agreed, and we need to update to the FactTypes anyway</p>



<a name="179975458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975458">(Nov 05 2019 at 20:45)</a>:</h4>
<p>(I have a patch for that already)</p>



<a name="179975568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975568">(Nov 05 2019 at 20:46)</a>:</h4>
<p>in any case it seems like the PR needs a bit more work before reviewing, but we can get the rest of the work done soon</p>



<a name="179975606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975606">(Nov 05 2019 at 20:46)</a>:</h4>
<p>Yes, for example during the focus week, if not earlier</p>



<a name="179975638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975638">(Nov 05 2019 at 20:47)</a>:</h4>
<p>yeah :)</p>



<a name="179975669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975669">(Nov 05 2019 at 20:47)</a>:</h4>
<p>getting these "completeness" PRs done would be a nice goal</p>



<a name="179975679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975679">(Nov 05 2019 at 20:47)</a>:</h4>
<p>Definitely!</p>



<a name="179975680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975680">(Nov 05 2019 at 20:47)</a>:</h4>
<p>yes</p>



<a name="179975728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975728">(Nov 05 2019 at 20:48)</a>:</h4>
<p>I think our goal should be:</p>
<ul>
<li>move errors</li>
<li>subset errors</li>
<li>deep dive into equality rules</li>
</ul>



<a name="179975763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975763">(Nov 05 2019 at 20:48)</a>:</h4>
<p>probably in that order?</p>



<a name="179975770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975770">(Nov 05 2019 at 20:48)</a>:</h4>
<p>seems like a nice plan</p>



<a name="179975781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975781">(Nov 05 2019 at 20:48)</a>:</h4>
<p>I'm not 100% sure, I think that's the order of "fewest unknowns" to "most unknowns"</p>



<a name="179975791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975791">(Nov 05 2019 at 20:48)</a>:</h4>
<p>so I guess it depends if we want to prioritize getting things done</p>



<a name="179975796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975796">(Nov 05 2019 at 20:48)</a>:</h4>
<p>or tackling complex problems</p>



<a name="179975797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975797">(Nov 05 2019 at 20:48)</a>:</h4>
<p>(if higher rank subregions will be solely a chalk problem)</p>



<a name="179975821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975821">(Nov 05 2019 at 20:48)</a>:</h4>
<p>but we may also be able to make some progress on move errors etc before hand</p>



<a name="179975874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975874">(Nov 05 2019 at 20:49)</a>:</h4>
<p>seems likely as well, and the same for placeholder loans</p>



<a name="179975911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975911">(Nov 05 2019 at 20:49)</a>:</h4>
<p>I am thinking that maybe I can try to use some of my "5am time" to work on polonius over next few weeks</p>



<a name="179975915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975915">(Nov 05 2019 at 20:49)</a>:</h4>
<p>I've been on a rayon kick lately :)</p>



<a name="179975918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975918">(Nov 05 2019 at 20:49)</a>:</h4>
<p>at least it gives us something to shoot for and we can adjust before then if needed</p>



<a name="179975995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179975995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179975995">(Nov 05 2019 at 20:50)</a>:</h4>
<p>(context: I try to give myself like 30-45 minutes in the morning to do fun stuff I wouldn't otherwise have time to do;)</p>



<a name="179976000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976000">(Nov 05 2019 at 20:50)</a>:</h4>
<p>yeah the thread sleeping RFC <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="179976065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976065">(Nov 05 2019 at 20:51)</a>:</h4>
<p>if we can get the focus week you can still use your 5am time to do other enjoyable things though :)</p>



<a name="179976107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976107">(Nov 05 2019 at 20:51)</a>:</h4>
<blockquote>
<p>I think our goal should be:</p>
<ul>
<li>move errors</li>
<li>subset errors</li>
<li>deep dive into equality rules</li>
</ul>
</blockquote>
<p>let's use this as the plan</p>



<a name="179976109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976109">(Nov 05 2019 at 20:51)</a>:</h4>
<p>...like sleeping?</p>



<a name="179976127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976127">(Nov 05 2019 at 20:51)</a>:</h4>
<p>heh I used to try and getup at 4am</p>



<a name="179976133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976133">(Nov 05 2019 at 20:51)</a>:</h4>
<p>but I was becoming a very grouchy person</p>



<a name="179976178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976178">(Nov 05 2019 at 20:52)</a>:</h4>
<p>so I had to take back an hour of sleep :)</p>



<a name="179976212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976212">(Nov 05 2019 at 20:52)</a>:</h4>
<p>(I wonder if we should help out with chalk as well, since it'll also help polonius)</p>



<a name="179976227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976227">(Nov 05 2019 at 20:52)</a>:</h4>
<p>heh I'm already planning a "chalk week"</p>



<a name="179976245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976245">(Nov 05 2019 at 20:53)</a>:</h4>
<p>nice :)</p>



<a name="179976258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976258">(Nov 05 2019 at 20:53)</a>:</h4>
<p>I think most realistic is to try and create like .. 4 meeting times?</p>



<a name="179976264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976264">(Nov 05 2019 at 20:53)</a>:</h4>
<p>It's actually close enough to my PhD topic I might be able to argue for it</p>



<a name="179976265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976265">(Nov 05 2019 at 20:53)</a>:</h4>
<p>like I don't think 8h a day all week is really realistic for anyone</p>



<a name="179976272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976272">(Nov 05 2019 at 20:53)</a>:</h4>
<p>Depending on how close to SAT it is</p>



<a name="179976292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976292">(Nov 05 2019 at 20:53)</a>:</h4>
<p>given time zones, mornings are probably best?</p>



<a name="179976297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976297">(Nov 05 2019 at 20:53)</a>:</h4>
<p>er, my mornings</p>



<a name="179976301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976301">(Nov 05 2019 at 20:53)</a>:</h4>
<p>Yes, definitely</p>



<a name="179976306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976306">(Nov 05 2019 at 20:53)</a>:</h4>
<p>5am mornings ?</p>



<a name="179976327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976327">(Nov 05 2019 at 20:54)</a>:</h4>
<p>probably 4PM for us if 9-10am boston time</p>



<a name="179976402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976402">(Nov 05 2019 at 20:54)</a>:</h4>
<p>(or so, maybe it's just a 5-hour difference ?)</p>



<a name="179976406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976406">(Nov 05 2019 at 20:54)</a>:</h4>
<p>I think I could do like 9:00-13:00 on most days, which is like 15:00-19:00 CEST?</p>



<a name="179976456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976456">(Nov 05 2019 at 20:55)</a>:</h4>
<p>I'll likely take the week off from work, so I'll be available whenever, but that time would work</p>



<a name="179976468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976468">(Nov 05 2019 at 20:55)</a>:</h4>
<p>modulo compiler team meetings :)</p>



<a name="179976484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976484">(Nov 05 2019 at 20:55)</a>:</h4>
<p>of course :)</p>



<a name="179976528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976528">(Nov 05 2019 at 20:55)</a>:</h4>
<p>(that reminds me I'll write a blurb for this week's wg checkin, as it's us and I'll be travelling to rustfest on thursday)</p>



<a name="179976588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976588">(Nov 05 2019 at 20:56)</a>:</h4>
<p>ok. I gotta run</p>



<a name="179976606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/179976606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#179976606">(Nov 05 2019 at 20:56)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> everyone :)</p>



<a name="180019671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/180019671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#180019671">(Nov 06 2019 at 10:43)</a>:</h4>
<blockquote>
<p>@Vytautas Astrauskas, if you are here, does your work rely on having<br>
access to Polonius' facts after Polonius has executed, from Rust?</p>
</blockquote>
<p>Simply speaking we need Polonius input facts (currently we are reading the facts from the CSV dump) and a way to run Polonius manually (easy since Polonius is a library <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span>).</p>
<blockquote>
<p>Would giving ownership of Polonius' facts affect you?</p>
</blockquote>
<p>We are currently reading the facts from the dump, so no. However, it would be nice to have a way to obtain facts without going through the disk so that we can avoid hacky parsing of identifiers (like mapping position facts to statements in MIR). For example, if there was a a public function which computes the Polonius input facts for a given function, I think that would be good enough for us, even if this meant that this function would be called twice while running Prusti (once for the borrow checker and once for Prusti).</p>
<blockquote>
<p>I think they may be scraping things off the disk, but not sure</p>
</blockquote>
<p>More specifically, we parse <code>nll-facts</code> and <code>rustc.*.-------.renumber.0.mir</code> with regex and then map the obtained information on top of <code>mir_validated</code>.</p>



<a name="180022786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/180022786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#180022786">(Nov 06 2019 at 11:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> Hm, and from where would you call this function?</p>



<a name="180023055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/planning%20meeting%202019.11.05/near/180023055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/planning.20meeting.202019.2E11.2E05.html#180023055">(Nov 06 2019 at 11:33)</a>:</h4>
<p>Prusti (and MIRAI) use the <a href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_driver/trait.Callbacks.html#method.after_analysis" target="_blank" title="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_driver/trait.Callbacks.html#method.after_analysis">after analysis</a> callback. So, it should be possible to call the function from that callback.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>